Finite-state machine - PDFSEARCH.IO - Document Search Engine

Finite-state machine
Results: 655

#	Item
151	DEPTH (QUALIFIER) EXAMINATION IN THEORY OF COMPUTATION AND ALGORITHMS Spring, 2007 Automata, Languages and Complexity: 1. Regular languages (a) finite state automata (deterministic, nondeterministic) Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2007-02-09 21:44:57 Computability theory Models of computation Theory of computation Complexity classes John Hopcroft Alfred Aho Halting problem Turing machine Algorithm Theoretical computer science Applied mathematics Computer science
152	ECE 102: Digital Circuit Logic Add to Reading List Source URL: www.engr.colostate.edu Language: English - Date: 2013-11-05 11:37:07 Electronic design automation Electronic design Automata theory Circuit complexity Logic synthesis Switching circuit theory Logic gate Programmable logic device Finite-state machine Electronic engineering Digital electronics Theoretical computer science
153	UNIVERSITY OF CALIFORNIA, IRVINE Cognitive Support Features for Software Development Tools DISSERTATION Add to Reading List Source URL: argouml.tigris.org Language: English - Date: 2012-12-28 13:30:49 Human–computer interaction Technical communication Usability Science Argo State diagram Theoretical computer science Finite-state machine Communication design Models of computation Infographics Diagrams
154	Refinement Checking of Self-Adaptive Embedded Component Architectures∗ Christian Heinzemann, Stefan Henkler Martin Hirsch Add to Reading List Source URL: www.fujaba.de Language: English - Date: 2011-11-08 14:36:31 Automata theory Diagrams UML diagrams Digital electronics Computing UML state machine State diagram Graph rewriting Finite-state machine Models of computation Software engineering Theoretical computer science
155	A Principled Design Methodology for Minimalist Multi-Robot System Controllers by Christopher Vernon Jones Add to Reading List Source URL: cres.usc.edu Language: English - Date: 2006-01-02 09:14:46 Control theory Science Automata theory Finite-state machine Robot
156	software construction Editors: Andy Hunt and Dave Thomas ■ The Pragmatic Programmers a n d y @ p r a g m a t i c p r o g r a m m e r. c o m ■ d a v e @ p r a g m a t i c p r o g r a m m e r. c o m State Machines Dave Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2007-10-31 17:44:24 Theoretical computer science Computer science Finite-state machine Deterministic finite automaton State diagram State transition table State transition system Models of computation Theory of computation Automata theory
157	Honors Class (Foundations of) Informatics Tom Verhoeff Department of Mathematics & Computer Science Software Engineering & Technology www.win.tue.nl/~wstomv/edu/hci Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2011-10-17 18:08:03 Theoretical computer science Computer science Finite-state machine Turing machine Pushdown automaton Deterministic finite automaton Nondeterministic finite automaton State Read-only Turing machine Models of computation Theory of computation Automata theory
158	Department of Electrical and Computer Systems Engineering Technical Report MECSE Add to Reading List Source URL: www.ecse.monash.edu.au Language: English - Date: 2007-11-19 01:34:07 Computer science Diagrams Petri nets Computing Actor model Finite-state machine Petri Markov chain Parallel computing Models of computation Concurrency Formal methods
159	Algorithmic metatheorems for decidable LTL model checking over infinite systems Anthony Widjaja To and Leonid Libkin LFCS, School of Informatics, University of Edinburgh anthony.w.to, Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-02-03 10:41:37 Formal methods Computer science Linear temporal logic Finite state transducer Model checking Finite-state machine Model theory State transition system Petri net Models of computation Automata theory Theoretical computer science
160	Chennai Mathematical Institute MSc/PhD Computer Science Topics covered in entrance examination • Discrete Mathematics Sets and relations, elementary counting techiniques, pigeon hole principle, partial orders, • Elem Add to Reading List Source URL: www.cmi.ac.in Language: English - Date: 2010-03-23 06:34:16 Mathematical logic Combinatorial optimization Matching Automata theory Finite-state machine Algorithm Discrete mathematics Graph theory Computational complexity theory Mathematics Theoretical computer science Applied mathematics

UPDATE